Research in advanced formal theorem-proving techniques

The results are summarised of a project aimed at the design and implementation of computer languages to aid in expressing problem solving procedures in several areas of artificial intelligence including automatic programming, theorem proving, and robot planning. The principal results of the project were the design and implementation of two complete systems, QA4 and QLISP, and their preliminary experimental use. The various applications of both QA4 and QLISP are given

Composite Cryotank Technologies and Development 2.4 and 5.5M out of Autoclave Tank Test Results

The Composite Cryotank Technologies and Demonstration (CCTD) project substantially matured composite, cryogenic propellant tank technology. The project involved the design, analysis, fabrication, and testing of large-scale (2.4-m-diameter precursor and 5.5-m-diameter) composite cryotanks. Design features included a one-piece wall design that minimized tank weight, a Y-joint that incorporated an engineered material to alleviate stress concentration under combined loading, and a fluted core cylindrical section that inherently allows for venting and purging. The tanks used out-of-autoclave (OoA) cured graphite/epoxy material and processes to enable large (up to 10-m-diameter) cryotank fabrication, and thin-ply prepreg to minimize hydrogen permeation through tank walls. Both tanks were fabricated at Boeing using automated fiber placement on breakdown tooling. A fluted core skirt that efficiently carried axial loads and enabled hydrogen purging was included on the 5.5-m-diameter tank. Ultrasonic inspection was performed, and a structural health monitoring system was installed to identify any impact damage during ground processing. The precursor and 5.5-m-diameter tanks were tested in custom test fixtures at the National Aeronautics and Space Administration Marshall Space Flight Center. The testing, which consisted of a sequence of pressure and thermal cycles using liquid hydrogen, was successfully concluded and obtained valuable structural, thermal, and permeation performance data. This technology can be applied to a variety of aircraft and spacecraft applications that would benefit from 30 to 40% weight savings and substantial cost savings compared to aluminum lithium tanks

Using FSRs to measure radial pressure in wound rolls

The Force Sensing Resistor (FSRTM)1 is a device which changes resistance in a predictable manner with the application of force on its surface.[1] The FSR has been used in a variety of applications since its invention in 1986, including position sensing, traffic counting, pressure sensing in wind tunnels and sensing in numerous security devices. This publication presents the results of a study in which the FSR was implemented as a tool for measuring the radial interlayer pressures in wound rolls.The FSR exists in two primary forms: the shunt mode FSR, and the through conduction mode FSR. The focus of this study is concentrated entirely upon the shunt mode form of the device. The term "FSR" will refer to this form of the device throughout this publication.The FSR consists of two polyester sheets sandwiched together. One sheet contains a screen printed pattern of discontinuous conductive fingers. The other sheet contains a sensing film consisting of a number of organic and inorganic ingredients suspended in a polymer matrix. The sensing film acts as a shunt resistance to the printed conductor on the opposing polyester sheet. The shunt resistance of the sensing film decreases proportionately with the applied normal force by means of microscopic contact mechanisms in the sensing film. Very small conductors and semiconductors, ranging from fractions of microns to microns in size, are present in the sensing film. The intimate contact of these particles with other particles and with the conductive fingers on the opposite sheet produces a relatively uniform resistance that changes as a function of pressure. In Figure I, the mechanical form of the FSR is illustrated.Since the FSR is manufactured by a screen printing process, any size or shape of FSR can be manufactured. The FSR used for all of the work in this study is shown in Figure 2. This pattern can be used not only to measure interlayer pressures at various radii in the wound roll, but it can also be used to measure the pressure variations across the width of the web in the cross machine direction.This publication will first present a technique by which the FSR can be calibrated for experimental studies of the radial pressure profile in wound rolls. The results of wound roll studies which have led to the discovery of a new boundary condition for wound roll stress models are also presented. The development of this boundary condition allows models previously constrained to center-winding to be applied to center-winding with an undriven nip roll pressed against the wound roll.Mechanical and Aerospace Engineerin

The Disruptive Technology That is Additive Construction: System Development Lessons Learned for Terrestrial and Planetary Applications

Disruptive technologies are unique in that they spawn other new technologies and applications as they grow. These activities are usually preceded by the question, "What If?" For example, "What if we could use an emerging technology and in-situ materials to promote exploration on the Moon or Mars, and then use that same technology to keep our troops out of harm's way and/or help the worlds' homeless?" This question allows us to flip the mindset of "how can people create more valuable innovation?" to "how can innovation create more valuable people?." This approach allows us to view augmented human labor as an inclusive opportunity, not a threat. The discipline of Additive Construction is growing rapidly due to the flexibility, speed, safety and logistics benefits offered as compared to standard construction techniques. Additive construction is a disruptive technology in that it employs the principles of additive manufacturing on a human habitat structure scale. Developed initially for emergency management and disaster relief applications, additive construction has now grown into military infrastructure and planetary (Moon and Mars) surface infrastructure applications as well. Additive Construction with Mobile Emplacement (ACME) is a NASA technology development project that seeks to demonstrate the feasibility of constructing shelters for human crews, and other surface infrastructure, on the Moon or Mars for a future human presence. The ACME project will allow, for the first time, the 3-dimensional printing of surface structures on planetary bodies using local materials for construction, thereby tremendously reducing launch and transportation mass and logistics. Some examples of infrastructure that could be constructed using robotic additive construction methods are landing pads, rocket engine blast protection berms, roads, dust free zones, equipment shelters, habitats and radiation shelters. Terrestrial applications include the development of surface structures using Earth-based materials for emergency response, disaster relief, general construction, and housing at all economic levels. This paper will describe the progress made by the NASA ACME project with a focus on prototypes and full scale additive construction demonstrations using both Portland cement concrete and other indigenous material mixtures. Rationale for the use of additive construction for both terrestrial and planetary applications will be explored and a thorough state-of-the-art of additive construction techniques will be presented. An evolutionary history of NASA's additive construction development efforts, dating back to 2004, will be included. The paper will then step through a series of trade studies performed to inform key processing and design decisions in the development of the full-scale ACES-3 system developed by NASA and the Jacobs Space Exploration Group for the U.S. Army Corps of Engineers (USACE) Construction Engineers Research Laboratory (CERL) in Champaign, IL. The selection of aggregate and binders, based on in-situ materials, will also be presented and discusse

Stresses within rolls wound in the presence of a nip roller

Models which can be used to calculate the internal stresses within wound rolls of web material have all been confined to the center winding technique to date. In this publication a new boundary condition is presented which will allow existing models to calculate the internal stresses within a wound roll which has been center wound with an undriven nip roller impinged upon the outside of the roll. Experimental verification of the new boundary condition is presented. The mechanism by which a nip roller can increase the wound in tension in the outer layer of the wound roll is presented.Mechanical and Aerospace Engineerin

The Apriori Stochastic Dependency Detection (ASDD) algorithm for learning Stochastic logic rules

Apriori Stochastic Dependency Detection (ASDD) is an algorithm for fast induction of stochastic logic rules from a database of observations made by an agent situated in an environment. ASDD is based on features of the Apriori algorithm for mining association rules in large databases of sales transactions [1] and the MSDD algorithm for discovering stochastic dependencies in multiple streams of data [15]. Once these rules have been acquired the Precedence algorithm assigns operator precedence when two or more rules matching the input data are applicable to the same output variable. These algorithms currently learn propositional rules, with future extensions aimed towards learning first-order models. We show that stochastic rules produced by this algorithm are capable of reproducing an accurate world model in a simple predator-prey environment

On the Complexity of Case-Based Planning

We analyze the computational complexity of problems related to case-based planning: planning when a plan for a similar instance is known, and planning from a library of plans. We prove that planning from a single case has the same complexity than generative planning (i.e., planning "from scratch"); using an extended definition of cases, complexity is reduced if the domain stored in the case is similar to the one to search plans for. Planning from a library of cases is shown to have the same complexity. In both cases, the complexity of planning remains, in the worst case, PSPACE-complete

Additive Construction with Mobile Emplacement: Multifaceted Planetary Construction Materials Development

The National Aeronautics and Space Administration's Additive Construction with Mobile Emplacement (ACME) project is developing construction materials with which infrastructure elements, including habitats, will be additively constructed for planetary surface missions. These materials must meet requirements such as the ability to be produced from available in-situ resources to eliminate the cost of launching materials from Earth, the ability to be emplaced via three dimensional building techniques, the ability to resist aging in extreme environments including radiation and micrometeorite bombardment, and the ability to provide the necessary structural integrity for a given building. This paper reviews the constraints placed on such planetary construction materials and details the work of the ACME team in characterizing materials that could one day construct planetary surface structures on Mars or the Moon. Material compositions, compressive strength, and requirements for additive construction on planetary surfaces are discussed. Due to the multifunctional requirements of the material, an optimization is necessary to balance between the site-specific regolith composition, emplacement via additive construction techniques, and characteristics of the final structure